Regular languages are closed under complementation and intersection